Triangle proofs